␈↓␈↓¬S␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓∧Telephone 415-497-4971␈↓ 
430 July 1974



␈↓Director, Advanced Research Projects Agency
␈↓Department of Defense
␈↓Washington, D. C.

␈↓␈↓αSUBJECT:␈↓  Quarterly Management Report
␈↓␈↓ 	z␈↓	Form approved, Budget
␈↓	␈↓ 	␈Bureau No. 22-RO293.␈↓

␈↓␈↓αARPA Order Number:␈↓ 2494␈↓ εh␈↓αContract Number:␈↓ DAHC15 73C 0435

␈↓␈↓αProgram Code Number:␈↓ 3D30␈↓ εh␈↓αPrincipal Investigator:␈↓ Prof. John McCarthy
␈↓␈↓ αλ␈↓ εh␈↓ π(415-497-4430

␈↓␈↓αName of Contractor:␈↓  Board of Trustees of␈↓ εh␈↓αExecutive O≠cer:␈↓ Lester Earnest
␈↓␈↓ αλthe Leland Stanford Junior University␈↓ εh␈↓ π(415-497-4202

␈↓␈↓αE≥ective Date of Contract:␈↓ 15 June 1973␈↓ εh␈↓αShort Title of Work:␈↓ Arti≡cial Intelligence,
␈↓␈↓ αλ␈↓ εh␈↓ π(Heuristic Programming, and
␈↓␈↓αContract Expiration Date:␈↓ 30 June 1975␈↓ εh␈↓ π(Network Protocols Projects

␈↓␈↓αAmount of Contract:␈↓  $3,000,000


␈↓Dear Sir:


␈↓Cerf␈α
and␈α
the␈αNetwork␈α
Protocols␈α
Project␈α
sta≥␈αhave␈α
published␈α
a␈αnumber␈α
of␈α
articles␈α
recently␈α[1-5].
␈↓Winograd␈α
has␈α
written␈α
a␈α
popular␈α
account␈α
of␈α
natural␈α
language␈α
understanding␈α
[7]␈α
and␈α∞a␈α
technical
␈↓article␈α[8].␈α A␈αpaper␈αappeared␈αon␈αpicture␈αprocessing␈αby␈αcomputer␈α[6],␈αwhich␈αwas␈αmostly␈αsupported
␈↓by␈α
NASA.

␈↓Three␈αsta≥␈αmembers␈αrecently␈αpublished␈αPh.D.␈αdissertations␈αon␈αinteractive␈αprogramming␈α[9],␈αshape
␈↓grammars␈α
[10],␈α
and␈α∞natural␈α
language␈α
understanding␈α
[12].␈α∞ Additional␈α
reports␈α
have␈α∞appeared␈α
on
␈↓an␈α
interactive␈α
3D␈α
geometric␈α
editor␈α
[11]␈α
and␈α
a␈α
proof␈α
checker␈α
for␈α
≡rst-order␈α
logic␈α
[13].


␈↓αResearch␈α
Program␈α
and␈α
Plan

␈↓No␈α
changes.
␈↓␈↓αDirector, Advanced Research Projects Agency, 30 July 1974␈↓ 
}Page 2


␈↓αMajor␈α
Accomplishments

␈↓Nothing␈α
new.


␈↓αProblems␈α
Encountered

␈↓Nothing␈α
new.


␈↓αFiscal␈α
Status

␈↓Amount currently funded:␈↓ 
U$2,248,000 

␈↓Estimated expenditures and commitments (through 30 June 1973): ␈↓ 
U$1,558,342 

␈↓Estimated funds required (through 30 June 1975): ␈↓ 
U$3,000,000 


␈↓αAction␈α
Required␈α
by␈α
the␈α
Government

␈↓None.


␈↓αFuture␈α
Plans

␈↓No␈α
change.


␈↓Sincerely,



␈↓Lester D. Earnest
␈↓Executive O≠cer


␈↓cc:␈↓ α_addressee - 2 copies␈↓ εHJ. McCarthy
␈↓␈↓ α_A. Blue, ARPA␈↓ εHV. Cerf
␈↓␈↓ α_S. Crocker, ARPA␈↓ εHE. Feigenbaum
␈↓␈↓ α_J. Ducey, ONR, Stanford␈↓ εHR. Floyd
␈↓␈↓ α_J. C. R. Licklider, ARPA␈↓ εHJ. Jobe
␈↓␈↓αDirector, Advanced Research Projects Agency, 30 July 1974␈↓ 
}Page 3


␈↓α␈↓ ¬sREFERENCES

␈↓1.  Cerf, Vinton G., R. E. Kahn, ␈↓αA Protocol for Inter-network Communications␈↓, ␈↓↓IEEE Trans.
␈↓↓␈↓ αλCommunications␈↓, May 1974.

␈↓2.  Cerf, V. G., D. D. Cowan, R. C. Mullin, R. G. Stanton, ␈↓αNetworks and Generalized Moore
␈↓α␈↓ αλGraphs␈↓, ␈↓↓Proc. Manitoba Conf. on Numerical Math., 1973␈↓, (to appear).

␈↓3.  Cerf, V. G., D. Cowan, R. C. Mullin, R. G. Stanton, ␈↓αTopological Design Considerations in
␈↓α␈↓ αλComputer-Communication Networks␈↓, in R. L. Grimsdale, F. F. Kuo (eds.), ␈↓↓Computer
␈↓↓␈↓ αλCommunication Networks␈↓, Academic Book Services Holland, Netherlands, 1974.

␈↓4.  Cerf, V., C. Sunshine, ␈↓αProtocols and Gateways for Interconnection of Packet Switching
␈↓α␈↓ αλNetworks␈↓, ␈↓↓Proc. 7th Hawaii International Conf. on System Sciences␈↓, Western Periodicals Co.,
␈↓␈↓ αλHawaii, 1974.

␈↓5.  Cerf, V. G., D. D. Cowan, R. C. Mullin, R. G. Stanton, ␈↓αA Partial Census of Generalized Moore
␈↓α␈↓ αλGraphs␈↓, ␈↓↓Proc. Australian National Combinitorics Conference␈↓, May 1974 (to appear).

␈↓6.  Veverka, J., Carl Sagan, Lynn Quam, R. Tucker, B. Eross, ␈↓αVariable Features on Mars III:
␈↓α␈↓ αλComparison of Mariner 1969 and Mariner 1971 Photography␈↓, ␈↓↓Icarus␈↓, 21, 317-368, 1974.

␈↓7.  Winograd, Terry, ␈↓αComputers and Language␈↓, ␈↓↓Psychology Today␈↓, May 1974.

␈↓8.  Winograd, Terry, ␈↓αParsing Natural Language via Recursive Transition Net␈↓, in Yeh (ed.)
␈↓␈↓ αλ␈↓↓Applied Computation Theory␈↓, Prentice-Hall, 1974.

␈↓9.  Daniel C. Swinehart, ␈↓αCOPILOT: A Multiple Process Approach to Interactive Programming
␈↓α␈↓ αλSystems␈↓ ␈↓↓Thesis: Ph.D. in Computer Science␈↓, Memo AIM-230, May 1974.

␈↓10.  James Gips, ␈↓αShape Grammars and their Uses␈↓, ␈↓↓Thesis: Ph.D. in Computer Science␈↓, Memo
␈↓␈↓ αλAIM-231, May 1974.

␈↓11.  Bruce G. Baumgart, ␈↓αGEOMED - A Geometric Editor␈↓, Memo AIM-232, May 1974.

␈↓12.  Charles J. Rieger, III, ␈↓αConceptual Memory: A Theory and Computer Program for
␈↓α␈↓ αλProcessing the Meaning Content of Natural Language Utterances␈↓, ␈↓↓Thesis: Ph.D. in
␈↓↓␈↓ αλComputer Science␈↓, Memo AIM-233, June 1974.

␈↓13.  Richard W. Weyhrauch, Arthur J. Thomas, ␈↓αFOL: A Proof Checker for First-order Logic␈↓,
␈↓␈↓ αλMemo AIM-235, June 1974.